El presente proyecto supone la implementación de las ideas presentadas en \cite{flops2010} y la extensión de las mismas para tratar con subconsultas existenciales anidadas y su negación \cite{prole2012}. Las subconsultas existenciales en SQL se declaran mediante la palabra reservada \cod{EXISTS}, y juegan un papel muy importante a la hora de la definición de vistas SQL. Presentamos un prototipo que podría llegar a ser de gran ayuda en el desarrollo de bases de datos, sobre todo en fase de depuración y pruebas (ver \ref{app:download} para obtener el prototipo). Cabe decir que dicho prototipo es limitado en cuanto a tipos de datos soportados y la gramática SQL que acepta, aunque tiene las bases para que pueda ser extendido en estos aspectos. La mejora de estas características constituye parte del trabajo futuro a corto plazo de la herramienta y supondría una mejora sustancial de su utilidad práctica. 